undecidable problems in toc